A First Comparison of Abstract Argumentation Systems: A Computational Perspective Stefano Bistarelli1,2 , Fabio Rossi1 , and Francesco Santini3 1 Department of Mathematics and Computer Science, University of Perugia, It

Source URL: www.dmi.unict.it

Logical Preliminaries Johannes C. Flieger Scheme UK March 2003 Abstract Survey of intuitionistic and classical propositional logic; introduction to the computational interpretation of intuitionistic logic in the

Source URL: schematics.sourceforge.net

• Proof theory
• Mathematical logic
• Logic
• Mathematics
• CurryHoward correspondence
• Dependently typed programming
• Logic in computer science
• Philosophy of computer science
• Type theory
• Symbol
• Sequent
• Confidence interval

A Multithreaded and Distributed System for the Simulation of Large Biological Neural Networks Diploma Thesis by Jochen Martin Eppler Submitted April 2006

Source URL: mindzoo.de

• Software
• Application software
• Computational neuroscience
• Applied mathematics
• Simulation software
• Computational biology
• NEST
• Artificial intelligence
• Computational statistics
• Simulation
• GENESIS
• Scientific modelling

SIAM J. COMPUT. Vol. 43, No. 1, pp. 312–336 c 2014 Society for Industrial and Applied Mathematics 

Source URL: theory.stanford.edu

• Computational complexity theory
• Operations research
• Complexity classes
• Polynomial-time approximation scheme
• Mechanism design
• Optimization problem
• Approximation algorithm
• Time complexity
• Mathematical optimization
• Exact algorithm
• Single-parameter utility
• Perturbation theory

Foundations of Computational Mathematics ’05 30 June – 9 July 2005, Santander PLENARY SPEAKERS Douglas ARNOLD

Source URL: focm-society.org

DOC Document

Source URL: erpub.org

• Applied mathematics
• Artificial neural network
• Computational neuroscience
• Mathematical psychology
• Transmission Control Protocol
• Quotation mark

PDF Document

Source URL: security.cs.georgetown.edu

• Graph theory
• Mathematics
• Computational complexity theory
• Edsger W. Dijkstra
• Combinatorial optimization
• Network theory
• Maximal independent set
• Graph coloring
• Shortest path problem
• Matching
• Leader election
• Minimum spanning tree

PDF Document

Source URL: fpt.akt.tu-berlin.de

• Algebra
• Mathematics
• Vectors
• Abstract algebra
• Linear algebra
• Computational complexity theory
• Parameterized complexity
• Vector space
• Euclidean vector
• NC
• Ordinal arithmetic

PDF Document

Source URL: www.impa.br

• Mathematics
• Academia
• Science and technology
• Applied mathematics
• Graduate Texts in Mathematics
• Discontinuous Galerkin method
• Mathematical optimization
• Mathematical analysis
• Computational mathematics
• Calculus
• Differential equation
• Functional analysis

MA CM Bergische Universit¨at Wuppertal Fachbereich Mathematik und Naturwissenschaften Institute of Mathematical Modelling, Analysis and Computational Mathematics

Source URL: www.imacm.uni-wuppertal.de